2841. Trends and advances in information systems and technologies.
پدیدآورنده : Álvaro Rocha, Hojjat Adeli, Luís Paulo Reis, Sandra Costanzo, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Artificial intelligence.,Computer networks.,Computer science.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
T58
.
5
2842. Trends and new applications of thin films: proceedings of the 6th International Symposium on Trends and New Applications of Thin Films )TATF'98(, Regensburg, Germany, March 1998
پدیدآورنده : editor, Horst Hoffmann
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Thin films,Congresses ، Surfaces )Technology(,Congresses ، Metallic films
رده :
QC
176
.
82
.
I58
1998
2843. Trends in NDE science and technology: Proceedings of the 14th world Conference on NDT )14th WCNDT(, December 8-13, 1996, New Delhi, India
پدیدآورنده : edited by C.G. Krishnadas Nair... ]et al.[
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Non-destructive testing - Congresses
رده :
TA
417
.
2
.
W67
1996
2844. Trends in computer science, engineering and information technology
پدیدآورنده : Dhinaharan Nagamalai, Eric Renault, Murugan Dhanuskodi (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer engineering, Congresses.,Computer science, Congresses.,Information technology, Congresses.
2845. Trends in functional programming :
پدیدآورنده : edited by Meng Wang, Scott Owens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Data structures (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic design-- Computer programs, Congresses.,Computer architecture.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Expert systems-- knowledge-based systems.,Operating systems (Computers),Operating systems.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software engineering.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
62
2846. Trends inmechanical alloying: proceedings of International Conference on Trends in Mechanical Alloying: Science, Technology and Applications )TMA-2001(
پدیدآورنده : editors, P.R. Soni, T.V. Rajan
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Congresses ، Mechanical alloying
رده :
TN
698
.
I58
2001
2847. Tribes and state formation in the Middle East /
پدیدآورنده : edited by Philip S. Khoury and Joseph Kostiner.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Islam and state-- Middle East-- History, Congresses.,Tribal government-- Middle East-- History, Congresses.,Tribes-- Government policy-- Middle East-- History, Congresses.,Gouvernement tribal-- Moyen-Orient-- Histoire-- Congrès.,Islam et État-- Moyen-Orient-- Histoire-- Congrès.,Tribus-- Politique gouvernementale-- Moyen-Orient-- Histoire-- Congrès.,Geschichte,Gouvernement tribal-- Moyen-Orient-- Congrès.,Government - Asia.,Government - Non-U.S.,Gründung,Islam,Islam and state.,Islam et État-- Moyen-Orient-- Histoire-- Congrès.,Law, Politics & Government.,POLITICAL SCIENCE-- Public Policy-- Cultural Policy.,Politics and government,Politische Geografie,SOCIAL SCIENCE-- Anthropology-- Cultural.,SOCIAL SCIENCE-- Popular Culture.,Society.,Staat,Staatsvorming.,Stamm,Tribal government.,Tribale groepen.,Tribes-- Government policy.,Tribus-- Moyen-Orient-- Histoire-- Congrès.,Middle East, Politics and government, Congresses.,Moyen-Orient, Politique et gouvernement, Congrès.,Middle East.,Mittlerer Osten,Moyen-Orient, Relations interethniques, Congrès.,Naher Osten, 0, 6, 7, 7, 7, 7
رده :
JQ1758
.
A2
T75
1990eb
2848. Tribology for energy conservation
پدیدآورنده :
کتابخانه: Library of Urmia University of Technology (West Azarbaijan)
موضوع : Tribology- Congresses,Energy conservation- Congresses
رده :
TJ
,
1075
,.
A2
,
L43
,
1998
2849. Trust management VII :
پدیدآورنده : Carmen Fernández-Gago [and others] (Eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks -- Security measures -- Congresses.,Computer security -- Congresses.,Data encryption (Computer science) -- Congresses.
رده :
QA76
.
9
.
A25
C376
2013
2850. Trusted systems :
پدیدآورنده : edited by Liqun Chen, Moti Yung
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Security measures, Congresses,Computer security, Congresses,Data encryption (Computer science), Congresses
رده :
QA76
.
9
.
A25
I58
2011
2851. Twentieth Army Science Conference: award winning papers: Norfolk, Virginia, USA, 24-27 June 1996
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Science-- United States,Congresses ، Military engineering-- United States,Congresses ، Technology-- United States
رده :
Q
101
.
A7
1996
2852. Types for Proofs and programs : International Workshop TYPES'93, Nijmegen, The Netherlands, May 1993 : selected papers
پدیدآورنده : Henk Barendregt, Tobias Nipkow, eds
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programs
رده :
QA
76
.
L28
Vol
.
806
2853. Types for proofs and programs : International Workshop TYPES'96, Aussois, France, December 15-19, 1996 : selected papers
پدیدآورنده : Eduardo Gimenez, Christine Paulin-Mohring )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Computer logic,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1512
2854. Types for proofs and programs : International Workshop TYPES'94, Bastad, Sweden, June 1994: Selected papers
پدیدآورنده : Peter Dybjer, Bengt Nordstrom, Jan Smith )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
996
2855. Types for proofs and programs : International Workshop, TYPES'99, Kloster Irsee Germany, March 27-31, 1999: selected papers
پدیدآورنده : Thorsten Altenkirch, Wolfgang Naraschewski, Bernhard Reus )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Computer programming,Congresses ، Type theory
رده :
QA
76
.
L28
Vol
.
1657
2856. Types for proofs and programs: International Workshop, TYPES'95, Torino, Italy, June 5-8, 1995 : selected papers
پدیدآورنده : Stefano Berardi, Mario Coppo )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1158
2857. U162
پدیدآورنده : by Michael Howard and Robert Hunter.
کتابخانه: Library of Islamic Parliament (Tehran)
موضوع :
2858. U- and E-Service, science and technology :
پدیدآورنده : Tai-hoon Kim...[et al.] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses.,Information technology, Congresses.
رده :
T58
.
5
.
U54
2011
2859. U- and E-service, science and technology
پدیدآورنده : Dominik Ślęzak ... [et al.] (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business enterprises-- Computer networks, Congresses,Electronic commerce, Congresses
رده :
HF5548
.
32
.
U547
2009eb
2860. U- and e-service, science and technology :international conference UNESST 2010, held as part of the future generation information technology conference, fFGIT 2010, Jeju Island, Korea, December 13-15, 2010. proceedings
پدیدآورنده : ]edited by[ Tai-hoon Kim, Jianhua Ma, Wai-chi Fang
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Information technology -- Congresses,، Business -- Data processing -- Congresses
رده :
T58
.
5
.
U54
2010eb
